Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
نویسندگان
چکیده
منابع مشابه
Categorical Abstract Logic : Hidden Multi - Sorted Logics as Multi - Term Π - Institutions
Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with substitutions. We show that the π-institutions corresponding to the hidden multi-sorted deductive systems studied by Babenyshev and Martins satisfy the multi-term condition of Gil-Fé...
متن کاملCategorical Abstract Algebraic Logic: Gentzen (π)-institutions
Josep Maria Font and Ramon Jansana, inspired by previous work of Czelakowski, Blok and Pigozzi and of other members of the Barcelona algebraic logic group, studied the interaction between the algebraization of deductive systems in the sense of Tarski and the algebraization of Gentzen systems, connected with the deductive systems in various ways. Only recently, did the author extend the notion o...
متن کاملCategorical Abstract Algebraic Logic: Truth-Equational π-Institutions
Finitely algebraizable deductive systems were introduced by Blok and Pigozzi to capture the essential properties of those deductive systems that are very tightly connected to quasivarieties of universal algebras. They include the equivalential logics of Czelakowski. Based on Blok and Pigozzi’s work, Herrmann defined algebraizable deductive systems. These are the equivalential deductive systems ...
متن کاملCategorical Abstract Algebraic Logic: Fibring of π-Institutions
Inspired by work of Fernández and Coniglio, we study a framework for combining, by fibring, logics formalized as π-institutions. Fibring of deductive systems, i.e., finitary and structural consequence relations over sets of formulas, as presented by Fernández and Coniglio, becomes a special case of fibring of π-institutions. Moreover, we show how their study of preservation of algebraic propert...
متن کاملCategorical Abstract Algebraic Logic: Models of π-Institutions
An important part of the theory of algebraizable sentential logics consists of studying the algebraic semantics of these logics. As developed by Czelakowski, Blok, and Pigozzi and Font and Jansana, among others, it includes studying the properties of logical matrices serving as models of deductive systems and the properties of abstract logics serving as models of sentential logics. The present ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Section of Logic
سال: 2016
ISSN: 2449-836X,0138-0680
DOI: 10.18778/0138-0680.45.2.04